The impact of investment support from the Rural Development Programme of the Czech Republic for 2007-2013 on the economic effi ciency of farms

European agriculture is highly mechanised and its development is to a large extent shaped by the constant need for investment. By combining private capital with public funds, the risk burden associated with investment can be shared. The general economic objective of investment support is to improve the efficiency of production factors, such as labour, land and capital. The Rural Development Programme of the Czech Republic for 2007-2013 included a preferential criterion, the objective of which was to give an advantage to farms in Less Favoured Areas (LFA) by facilitating their access to funding for investments. This paper evaluates the investment activities of agricultural holdings located in Czech LFAs in the period 2011-2015, compared to those that are not located in LFAs. Binary logistic regression was employed to identify factors, such as LFA type, farm size, share of other revenues, indebtedness of a farm and stocking density of cattle, that infl uenced whether a farm was or was not supported with an investment subsidy. We conclude that supported farms in LFAs have higher levels of economic performance and higher labour productivity than unsubsidised farms. It is evident that many farms, especially in mountain areas, are interested in investment activities and are trying to develop their businesses. They have a lower likelihood of business failure than those farms that do not invest

Detection of characteristic facial features in tele-X-ray image

Popis telerentgenových snímku a charakteristických bodu na lebce pro kefalometrické analýzy. Teoretický rozbor digitálního obrazu a úpravy snímku pred samotnou detekcí. Výber možných metod pro stanovení charakteristických bodu na obliceji. Experimentální overení hranových detektoru, Hu momentu s neuronovou sítí a Haarových vlnek s detektorem Viola- Jones.Description cephalometric images and the characteristic points on the skull for cephalometric analysis. Theoretical analysis of digital image editing and image before the actual detection. The range of possible methods for determining the characteristic points on the face. Experimental verification of edge detectors, Hu moments with neural networks and Haar wavelets with Viola-Jones detector.

Efficient Algorithms for Finite Automata

Nedeterministické konečné automaty jsou používány v mnoha oblastech informatiky, mimo jiné také ve formální verifikaci, při návrhu číslicových obvodů nebo pro reprezentaci regulárlních jazyků. Jejich výhodou oproti deterministickým konečným automatům je schopnost až exponenciálně stručnější reprezentace jazyka. Nicméně, tato výhoda může být pozbyta, jestliže je zvolen naivní přístup k implementaci některých operací, jako je na\-pří\-klad test jazykové inkluze dvojice automatů, jehož naivní implementace provádí explicitní determinizaci jednoho z automatů. V nedávné době bylo ale představeno několik nových přístupů, které právě explicitní determinizaci při testu jazykové inkluze předcházejí. Tyto přístupy využívají tzv. antichainů nebo tzv. bisimulace vzhůru ke kongruenci. Cílém této práce je vytvoření efektivní implementace zmíněných přístupů v podobě nového rozšíření knihovny VATA. Vytvořená implementace byla otestována a je až řádově rychlejší v 90% testovaných případů nežli implementace jinéNondeterministic finite automata are used in many areas of computer science, including, but not limited to, formal verification, the design of digital circuits or for the representation of a regular language. Their advantages over deterministic finite automata is that they may represent a language in even exponentially conciser way. However, this advantage may be lost if a naive approach to some operations is taken, in particular for checking language inclusion of a pair of automata, the naive implementation of which performs an explicit determinization of one of the automata. Recently, several new techniques for this operation that avoid explicit determinization (using the so-called antichains or bisimulation up to congruence) have been proposed. The main goal of the presented work is to efficiently implement these techniques as a new extension of the VATA library. The implementation has been evaluated and is superior to other implementations in over 90% of tested cases by the factor of 2 to 100.

Verification of Pointer Programs Based on Forest Automata

V této práci je rozvíjena existující metoda pro shape analýzu programů založená na lesních automatech. Dále je také vylepšována implementace této metody, nástroj Forester. Lesní automaty jsou založeny na stromových automatech, jejichž jednoduchou implementaci Forester obsahuje. Prvním přínosem této práce je nahrazení této implementace knihovnou VATA, která obsahuje efektivní algoritmy pro reprezentaci a manipulaci stromových automatů. Verze nástroje Forester používající knihovnu VATA se zúčastnila mezinárodní soutěže SV-COMP 2015. Dále je verifikace založená na lesních automatech v této práci rozšířena o predikátovou abstrakci a analýzu nalezených protipříkladů. Výsledek této analýzy je možné využít následujícími způsoby. Prvním je určení toho, zda je nalezené chyba reálná nebo naopak nepravá. Druhým je pak zjemnění predikátové abstrakce pomocí predikátů odvozených při zpětném běhu. Obě techniky byly také implementovány v nástroji Forester. Na závěr je zhodnoceno zlepšení, které tyto techniky přinesly oproti původní verzi nástroje Forester.In this work, we focus on improving the forest automata based shape analysis implemented in the Forester tool. This approach represents shapes of the heap using forest automata. Forest automata are based on tree automata and Forester currently has only a simple implementation of tree automata. Our first contribution is replacing this implementation by the general purpose tree automata library VATA, which contains the highly optimized implementations of automata operations. The version of Forester using the VATA library participated in the competition SV-COMP 2015. We further extended the forest automata based verification method with two new techniques - a counterexample analysis and predicate abstraction. The first one allows us to determine whether a found error is a real or spurious one. The results of the counterexample analysis is also used for creating new predicates which are used for the refinement of predicate abstraction. We show that both of these techniques contribute to an improvement over the early approach.

Online Tool for Software Projects Analysis

Cílem této diplomové práce je navržení a vytvoření webové aplikace, která umožňuje definování a provádění analýz nad projekty, které jsou hostovány v GitHubu nebo GitLabu a pro analýzu je používaná aplikace SonarQube, kde celý tento proces je maximálně automatizovaný. Je provedena analýza stávajících řešení v oblasti verzovacích systému a také analýza API GitHubu a GitLabu pro vytvoření unifikovaného rozhraní, pomocí kterého aplikace komunikuje s těmito servery. Pro vytváření dotazů, které jsou posílány na verzovací systémy vzniklo jednoduché uživatelské rozhraní, kde tyto dotazy jsou tvořeny pomocí přetahovatelných bloků, které lze dle potřeby upravovat a vytvářet nové. Součástí této práce je také zhodnocení výsledků provedených analýz a naznačení dalšího možného rozvoje.Purpose of this diploma thesis is to design and develop web application that allows to define and perform analysis on projects which are hosted in GitHub or GitLab and SonarQube application is used for analysis where the whole process is maximally automated. Analysis is performed on existing solutions in the field of version control systems as well as GitHub and GitLab API analysis to create unified interface through which application communicate with these servers. For building queries that are sent to version control systems, a simple user interface has been created, where these queries are created by draggable blocks that can be edited or created as needed. Part of this work is also an evaluation of the results of performed analyzes and an indiccation of further possible development.460 - Katedra informatikyvelmi dobř

Wireless sensor network

Bezdrátové senzorové sítě (WSN) se skládají z kombinace několika výkonných zařízení (označovaných jako „base stations“ nebo „sink“, dále základna) a velkého počtu (1000 - 1000000) levných zařízení (označovaných jako „nodes“, dále uzly) s extrémně omezenou výpočetní sílou, pamětí a energií. Jednotlivé uzly jsou vybaveny snímačem okolního prostředí. Data zaznamenaná snímači jsou lokálně předzpracována a poté zasílána základně k dalšímu zpracování. Využití WSN je očekáváno v široké škále oblastí. Cílem práce je rozebrat možnosti realizace bezdrátového přenosu digitalizovaných údajů ze senzorů. Práce zahrnuje a srovnává: Wi – Fi, WiMAX, ZigBee, GPRS, rádiovou síť a IrDA. Navrhne se bezdrátová síť pro sběr dat z čidel domácí čističky odpadních vod na území malé vesnické aglomerace s přenosem dat do centrálního dispečinku. Navrhne se několik alternativ a porovnají se jejich vlastnosti a možnosti.Wireless sensor network (WSN) consist of a mesh of a several powerful devices (denoted as base stations or sink) and a high number (1000 - 1000000) of a low-cost devices (denoted as nodes or motes), which are severely constrained in processing power, memory and energy. The nodes are equipped with an environment sensor. Events recorded by the sensor nodes are locally aggregated and then forwarded to a base station for further processing. WSNs are expected to be in wide use for a multitude of different scenarios. Project target is to analyse possibility of wireless transfer of digitalised data from sensors. Work contains and compares: Wi-Fi, , WiMAX, ZigBee, GPRS, radio net and IrDA. The work will design a wirelless network with data collection from sewerage plant sensors in small rural agglomeration and transfer data to the central dispatching. The work will suggest several options and compare their advantages and disadvantages.

Time-space mobility of Prague inhabitants threatened by social exclusion

Společnost jednadvacátého století nabízí mnohé otázky, je složitější než kdy dřív. Čím dál více se navíc ukazuje potřeba poznání a porozumění různým skupinám kolem nás. To je důležité nejen z hlediska plánovacího/politického, ale i z hlediska občanského soužití majoritní společnosti s ostatními složkami. Práce vychází z mnohých teorií a konceptů, které se snaží zasadit do společenského rámce dnešního transformujícího se postsocialistického města. Praha je největším a zároveň nejbohatším městem v Česku. Díky její velikosti a vysoké atraktivitě pro různé vrstvy obyvatelstva se zde naplno ukazují sociální nerovnosti v populaci. Určitá míra diferenciace ve společnosti je přirozená, zvlášť po roce 1989 se však populace Prahy polarizuje. Na jedné straně přitom stojí tradiční městské čtvrti i nově vznikající lokality pro bohaté, na straně druhé nově vzniklá vrstva sociálně vyloučených. Tyto skupiny jsou v navzájem nerovném postavení a tento rozdíl se dále nezmenšuje. Jak ukazují různé výzkumy, dostat se z úplného dna zpět do majoritní společnosti dokáže pouze malé procento lidí. Diplomová práce na to reaguje a snaží se o zodpovězení některých otázek, které nebyly doposud diskutovány. První takovou představuje samotné poznání prostorového rozmístění služeb pro sociálně vyloučené Pražany. Po poznání tohoto...Society in twenty-first century faces many issues and is becoming more complex than ever. Therefore, the ability to understand different groups around us is becoming crucial. This is important not only from a planning or political perspective but also from the civil coexistence of the majority with the minorities. This paper is based on numerous theories and concepts that are applied in the social context of today's transforming post-socialist cities. Prague is the biggest and the richest city in the Czech Republic. Due to its size and high attractiveness for different layers of the population, Prague is a place where the social inequalities are fully displayed. A certain degree of differentiation in society is natural. However, after 1989 the Prague's population became polarized. On the one side, there are the traditional city neighborhoods and emerging districts for rich people. On the other side, there are the newly emerged parts of the city for socially excluded. The groups living in these neighborhoods are in an unequal position with each other and this difference is not diminishing. As shown by various studies, only a small percentage of people is able to rise from the rock bottom back into the mainstream society. The goal of this thesis is to answer some questions around those issues that...Department of Social Geography and Regional Develop.Katedra sociální geografie a region. rozvojePřírodovědecká fakultaFaculty of Scienc

Sociospatial Aspects of Homelessness - Case Study of Central Smíchov

Studium života různých skupin obyvatel se stává v dnešní společnosti čím dál důležitější. Společnost jako celek se neustále diferencuje a nabízí mnohé otázky nejen o většinové společnosti, ale i skupinách kolem nás. Tato bakalářská práce se snaží přispět do výzkumu každodenního života specifické sociálně vyloučené skupiny obyvatel. Pomocí rozhovorů s přímými a klíčovými aktéry se snaží o zjištění a zhodnocení prostorových vztahů a prostorového chování bezdomovecké populace centrální části Prahy 5 - Smíchova. Práce představuje též sociální charakteristiky bezdomovců a jejich sociální vztahy s okolím. Život a motivace lidí na ulici se snaží zasadit do společenského kontextu. Klíčová slova: bezdomovectví - prostorové aspekty - sociální aspekty - každodenní život - centrální SmíchovThe study of life of various groups of population has become in today's society increasingly important. Society in its complexity is being continously differentiated and offers many questions not only of mainstream society, but also other, less studied groups around us. This bachelor thesis aims to contribute to research in daily life of specific socially deprivated population group. Using interviews with direct and another key actors will seek to identify and objective evaluate spacial relations and spacial behavior of homeless population in the central part of Prague 5 - Smíchov. Presents also both their social characteristics and social relations with their neighborhood, including other actors. It tries to put life and motivations of the people on the street in a social context. Keywords: homelessness - spacial aspects - social aspects - everyday life - central SmíchovDepartment of Social Geography and Regional Develop.Katedra sociální geografie a region. rozvojeFaculty of SciencePřírodovědecká fakult

Design of Savonius rotor as source of electric energy

Bakalářská práce pojednává o možnosti získávání elektrické energie z energie větru. Zdroj elektrické energie se Savoniovým rotorem byl navržen a vytvořen jako výukový model, navržený podle dostupných materiálů. Bylo provedeno jednoduché měření, pro zjištění vlastností modelu.This bachelor's thesis is concerned with possibilities to produce electricity from wind. A power source with Savonius rotor was designed and constructed as an educational model using the accessible materials. The simply measurement was taken to determine model features.

Reasoning about Regular Properties: A Comparative Study

Several new algorithms for deciding emptiness of Boolean combinations of regular languages and of languages of alternating automata (AFA) have been proposed recently, especially in the context of analysing regular expressions and in string constraint solving. The new algorithms demonstrated a significant potential, but they have never been systematically compared, neither among each other nor with the state-of-the art implementations of existing (non)deterministic automata-based methods. In this paper, we provide the first such comparison as well as an overview of the existing algorithms and their implementations. We collect a diverse benchmark mostly originating in or related to practical problems from string constraint solving, analysing LTL properties, and regular model checking, and evaluate collected implementations on it. The results reveal the best tools and hint on what the best algorithms and implementation techniques are. Roughly, although some advanced algorithms are fast, such as antichain algorithms and reductions to IC3/PDR, they are not as overwhelmingly dominant as sometimes presented and there is no clear winner. The simplest NFA-based technology may be actually the best choice, depending on the problem source and implementation style. Our findings should be highly relevant for development of these techniques as well as for related fields such as string constraint solving